1-Cyclopropyl-8-((3R,5S)-3,5-dimethyl-piperazin-1-yl)-7-fluoro-4-oxo-4H-quinolizine-3-carboxylic acid AIDS-094535 AIDS094535