TXN and HIV infectious disease: Other observations indicate that selenium levels decrease with the development of AIDS [160], and some selenoproteins such as GPX1, GPX4, and TRX1 decrease with HIV infection [161]; notably, TRX1 selenoprotein can inhibit in vitro HIV replication targeting Tat protein [162].