(24R)-24,25-Epoxycycloartan-3-one AIDS-059909 AIDS059909 Epoxycycloartane-1