(9R,10R)-1-[(tert-butyl)oxycarbonyl]-4,8,8-trimethyl-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-093080 AIDS093080