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. Here, GPX4 is linked to HIV-1 infection.