6H-Pyrimido[1,2-b]-1,2,4,5-tetrazin-6-one, 3-(1,1-dimethylethyl)-7,8-dimethyl- AIDS-184927 AIDS184927