CD4 and AIDS: Remarkably, CBA/J and A/Jcr CD4-depleted mice, mimicking AIDS patients, were largely protected against cryptococcosis when vaccinated with the live sre1ΔZNF2oe cells.