(+/-)-1-Cyclopropyl-7-fluoro-9-methyl-8-(3aR,7aS)-octahydro-pyrrolo[2,3-c]pyridin-1-yl-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094788 AIDS094788