2,4(1H,3H)-Pyrimidinedione, 1-(2,5-dihydroxycyclohexyl)- AIDS-113643 AIDS113643