1-Cyclopropyl-7-fluoro-4-oxo-9-methyl-8-piperazin-1-yl-4H-quinolizine-3-carboxylic acid AIDS-094534 AIDS094534