CD4 and HIV-1 infection: Importantly, T7E1 assay of the CCR5 gene in CD4+ T cells from the spleens showed the mutation in CCR5-modified CD4+ T cells with or without HIV-1 infection (Fig. 5f), which was indicative of successful modification and engraftment of CD4+ T cells in humanized mice.