3-Quinolinecarboxylic acid, 5-amino-7-[(3R,4S)-3-(1-aminocyclopropyl)-4-fluoro-1-pyrrolidinyl]-6-fluoro-1-[(1R,2S)-2-fluorocyclopropyl]-1,4-dihydro-8-methyl-4-oxo- AIDS-122822 AIDS122822 DQ-113