GPX4 and HIV infectious disease: However, clinical evidence from HIV infection has highlighted that Se supplementation can delay the CD4 decline in HIV-infected individuals, as well as affect the expression of selenoproteins in HIV-infected T cells in a hierarchical manner, with GPx1, GPx4, SEL H, SEL K, SEL S, and SEL T being the mostly sensitive selenoproteins [62,63,64].