2,4(1H,3H)-Pyrimidinedione, 1-[(2-cyclohexen-1-yloxy)methyl]-6-[(3,5-dimethylphenyl)methyl]-5-propyl- AIDS-223811 AIDS223811