4H-Quinolizine-3-carboxylic acid, 8-[(4aSR,7aSR)-octahydro-6H-pyrrolo[3,4-b]pyridin-6-yl]-1-cyclopropyl-7-fluoro-9-methyl-4-oxo- AIDS-108143 AIDS108143