7-(1-Pyrrolidinyl)-3-quinolone deriv 7-(trans-3-Amino-4-methoxy-1-pyrrolidinyl)-1-cyclopropyl-6,8-difluoro-4-oxo-3-quinolinecarboxylic acid AIDS-104571 AIDS104571