1-Cyclopropyl-3-nitroacetyl-6-fluoro-8-chloro-7-[(trans-piperidinopyrrolidine)-8-yl]-4-oxo-1,4-dihydroquinolone AIDS-104565 AIDS104565 Quinolone deriv