1-Cyclopropyl-7-fluoro-9-methyl-4-oxo-8-(4-piperidylpiperidyl)quinolizine-3-carboxylic acid, 2,2,2-trifluoroacetic acid AIDS-111387 AIDS111387