2,4(1H,3H)-Pyrimidinedione, 1-[(3-cyclohexen-1-ylmethoxy)methyl]-6-(phenylmethyl)-5-propyl- AIDS-223812 AIDS223812