1-[2-Bis(hydroxymethyl)cyclopropane-1-yl]methyl-5-isopropyl-6-(3,5-dimethylbenzoyl)-2,4-pyrimidinedione AIDS-082441 AIDS082441