3-Quinolinecarboxylic acid, 1-cyclohexyl-7-(cyclohexylamino)-1,4-dihydro-6-nitro-4-oxo- AIDS-210803 AIDS210803