(4S)-4,11-Diethyl-4-hydroxy-3,14-dioxo-4,12-dihydro-1H-pyrano[3,4-f]quinolino[2,3-a]indolizin-9-yl 4-piperidylpiperidinecarboxylate AIDS-108177 AIDS108177