7-(3,4-Dehydro-4-phenyl-1-piperidinyl)-1,4-dihydro-6-fluoro-1-methyl-8-trifluoromethyl-4-oxoquinoline-3-carboxylic acid AIDS-070309 AIDS070309 Fluoroquinolone deriv. K-12. K-37