CD4 and HIV infectious disease: ↓ CD4 expression, anti-CD4 antibody binding to its antigen, gp120 binding to CD4, and HIV infection