AIDS-116661 AIDS116661 Piperazine, 1-(phenylmethyl)-4-[(3,6,7-trimethyl-1,4-dioxido-2-quinoxalinyl)carbonyl]-