CD4 and HIV-1 infection: Although HIV-1 protein expression could still be detected in some T cells before the start of ART, these data suggest that latent HIV-1 infection has been established in human CD4+ T cells in these Hu-HSC mice.