AIDS-093079 AIDS093079 tert-butyl (9R,10R)-9,10-dihydroxy-4,8,8-trimethyl-2-oxo-1,8,9-trihydro-10H-pyrano[2,3-h]quinolinecarboxylate