6H-Pyrimido[1,2-b]-1,2,4,5-tetrazin-6-one, 3-(diphenylmethyl)-7,8-dimethyl- AIDS-184928 AIDS184928