1-Cyclopropyl-3-nitroacetyl-6-fluoro-8-methoxy-7-[(cis-piperidinopyrrolidine)-8-yl]-4-oxo-1,4-dihydroquinolone AIDS-104567 AIDS104567 Quinolone deriv