4a,9-Dihydroxy-1,1,3,6,9-pentamethyl-1a,2,3,4a,9,10,11,11a-octahydro-1H-cyclopenta[a]cyclopropa[f]cycloundecene-4,7-dione AIDS-134234 AIDS134234 Japodagrol NSC631742