2,11-Dihydrodi[1,2,4]triazolo[4,3-a:3,4-c]quinoxaline-3,10-dione AIDS-137950 AIDS137950 NSC643708