5-Methyl-1-[4-(trityloxy)but-2-ynyl]pyrimidine-2,4(1H,3H)-dione AIDS-154852 AIDS154852