AIDS-093078 AIDS093078 tert-butyl 4,8,8-trimethyl-2-oxohydro-8H-pyrano[2,3-h]quinolinecarboxylate