AIDS-116231 AIDS116231 Quinoxaline, 6,7-dichloro-2-methyl-3-[(4-phenyl-1-piperazinyl)carbonyl]-, 1,4-dioxide