Pyrimido[1,2-b]-1,2,4,5-tetrazin-6-ones as HCMV protease inhibitors: a new class of heterocycles with flavin-like redox properties.