Inhibition of human cytomegalovirus protease by enedione derivatives of thieno[2,3-d]oxazinones through a novel dual acylation/alkylation mechanism.