(5R)-3-[((3S,8S,2R)-2,4,8-Trimethyl-3-pentylbicyclo[4.4.0]dec-4-en-2-yl)hydroxymethylene]-5-(hydroxymethyl)-1-methylpyrrolidine-2,4-dione AIDS-085924 AIDS085924