As such, vaccine formulations exhibiting high efficacy in animal models that resemble immunodeficiencies associated with cryptococcosis (e.g., lacking CD4+ T cells) are in high demand (42, 44). The gene discussed is CD4; the disease is Immunodeficiency.