CD4 and HIV infectious disease: What causes the progressive depletion of the CD4+T helper cells leading to immunodeficiency in HIV infection?