3-Ethyl-2-methyl-3H-[1,2,4]triazino[6,1-b]quinazoline-4,10-dione AIDS-137931 AIDS137931 NSC643546