5-Methyl-1-[(2Z)-4-(trityloxy)but-2-enyl]pyrimidine-2,4(1H,3H)-dione AIDS-154851 AIDS154851