7-(3-Amino-pyrrolidin-1-yl)-1-cyclopropyl-6,8-difluoro-4-oxo-1,4-dihydro-quinoline-3-carboxylic acid AIDS-094810 AIDS094810