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. The gene discussed is GPX4; the disease is HIV-1 infection.