AIDS-116663 AIDS116663 Piperazine, 1-[(3-methyl-1,4-dioxido-2-quinoxalinyl)carbonyl]-4-(phenylmethyl)-