1-Cyclopropyl-3-nitroacetyl-6-fluoro-8-methoxy-7-[(trans-piperidinopyrrolidine)-8-yl]-4-oxo-1,4-dihydroquinolone AIDS-104566 AIDS104566 Quinolone deriv