3-{[3-((1E,3E)penta-1,3-dienyl)(3S,8S,2R)-2,4,8-trimethylbicyclo[4.4.0]dec-4-en-2-yl]hydroxymethylene}(5S)-5-(hydroxymethyl)-1-methylpyrrolidine-2,4-dione AIDS-085923 AIDS085923