GPX1 and HIV-1 infection: Based on the migration on SDS-PAGE and radioactive signal intensity, it was suggested that TXNRD1, GPX4 and GPX1 were downregulated in Jurkat cells after HIV-1 infection in favor of one or more low-molecular-weight selenocompounds.