1-Benzoyl-8,8a-diphenyl-1,2,3,5,6,8a-hexahydroimidazo[1,2-a]pyrazine AIDS-138987 AIDS138987 NSC646931