3-{[3-((1E)Prop-1-enyl)(2R,3R,8R)-2,8-dimethylbicyclo[4.4.0]dec-4-en-2-yl]hydroxymethylene}(5R)-5-(hydroxymethyl)-1-methylpyrrolidine-2,4-dione AIDS-085922 AIDS085922