1501-32-2 3,3a-Dihydropyrrolo[1,2-a]quinoxaline-1,4(2H,5H)-dione AIDS-125862 AIDS125862 NSC86861