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. This evidence concerns the gene TXNRD1 and HIV-1 infection.