AIDS-118623 AIDS118623 Piperazine, 1-[(3-methyl-1,4-dioxido-2-quinoxalinyl)carbonyl]-4-(4-nitrophenyl)-