3-Quinolinecarboxylic acid, 1-cyclopropyl-8-(difluoromethoxy)-7-[(1R)-2,3-dihydro-1-methyl-1H-isoindol-5-yl]-6-fluoro-1,4-dihydro-4-oxo- AIDS-184272 AIDS184272