1-Cyclopropyl-6-fluoro-7-[(trans-piperidinopyrrolidine)-8-yl]-8-chloro-1,4-dihydroquinoline-4-oxo-3-carboxylic acid AIDS-104564 AIDS104564 Quinolone deriv