3-Quinolinecarboxylic acid, 1-cyclohexyl-7-(cyclohexylamino)-6-fluoro-1,4-dihydro-4-oxo- AIDS-210794 AIDS210794