AIDS-111656 AIDS111656 [1,2,4]Triazolo[4,3-a]quinoxalin-1(2H)-one, 4-(2-phenylethyl)-