CD4 and HIV infectious disease: In HIV-1 infected SCID-hu Thy/Liv mouse models, there is a depletion of intrathymic progenitor T-cells which precedes the loss of infected CD4+CD8+ thymocytes, suggesting that HIV infection interrupts thymocyte development at an early stage [5].