AIDS-116237 AIDS116237 Quinoxaline, 2,6,7-trimethyl-3-[(4-phenyl-1-piperazinyl)carbonyl]-, 1,4-dioxide