1-[2-Bis(hydroxymethyl)cyclopropane-1-yl]methyl-5-ethyl-6-(3,5-dimethylbenzoyl)-2,4-pyrimidinedione AIDS-082437 AIDS082437