CD4 and HIV-1 infection: While HIV-1 infection specifically leads to CD4+ T-cell depletion, we do not model CD4+ T-cells separately from CD8+ T-cells.