In addition to the finding that CD4+ type I NKT cells are also permissive to HIV-1 infection (85), it has also been shown that HIV-1 infection can interfere with CD1d expression and thus, CD1d-dependent activation of type I NKT cells (86, 87). Here, CD4 is linked to HIV-1 infection.