6H-Pyrimido[1,2-b]-1,2,4,5-tetrazin-6-one, 3,7,8-trimethyl- AIDS-184925 AIDS184925