1-Cyclopropyl-7-fluoro-4-oxo-8-piperazin-1-yl-4H-quinolizine-3-carboxylic acid AIDS-094808 AIDS094808