CD4 and HIV-1 infection: In terms of the condition of human CD4+ T cells, we can say that these two humanized mouse models are the best choices to reproduce and investigate the dynamics of HIV-1 infection in vivo (i.e., under the physiological condition) at present.