7-(1-Pyrrolidinyl)-3-quinolone deriv 7-(trans-3-Amino-4-methoxy-1-pyrrolidinyl)-1-cyclopropyl-6-fluoro-4-oxo-3-quinolinecarboxylic acid AIDS-104572 AIDS104572