GPX1 and HIV-1 infection: As illustrated in Figure 9, we monitored the expression of five selenoproteins, namely GPX4, GPX1, SELENOO, TXNRD1 and SELENOS, in response to HIV-1 infection at various time points and in cellular protein extracts.