ACHE and HIV-1 infection: Indeed, the correlation (Fig. 7a) between decreased AChE activity (Fig. 3b) and loss of HIV-1 inhibition by SE following prolonged freezing (Fig. 6a) suggest that prolonged freezing of semen may concurrently or independently alter the activities of proteins that inhibit HIV-1 infection.