7-(1-Pyrrolidinyl)-3-quinolone deriv 7-(cis-3-Amino-4-methoxy-1-pyrrolidinyl)-1-cyclo-propyl-6,8-difluoro-4-oxo-3-quinolinecargboxylic acid AIDS-104573 AIDS104573