(9R,10R)-3,4,8,8-tetramethyl-2-oxo-10-(4,7,7-trimethyl-2-oxa-3-oxobicyclo[2.2.1]heptylcarbonyloxy)-1,8,9-trihydro-10H-pyrano[2,3-h]quinolin-9-yl 4,7,7-trimethyl-2-oxa-3-oxobicyclo[2.2.1]heptanecarboxylate AIDS-093082 AIDS093082