CD4 and HIV infectious disease: HIV infection models with two classes of target cells, CD4+ T cells and macrophages, have been proposed in [1, 2, 8, 9, 11]; however, the effect of CTL immune response was neglected.