CD4 and HIV infectious disease: It was shown that peripheral CD4+ type I NKT cells are depleted in early HIV infection and that the remaining cells in the circulation during HIV infection are functionally impaired in IFNγ expression (56).