24,25-(R,S)-Epiminolanosterol AIDS-111674 AIDS111674 Epiminolanosterol