2,4(1H,3H)-Pyrimidinedione, 1-[(2R,3R,6aS)-hexahydro-3-hydroxy-6a-(hydroxymethyl)furo[3,4-b]furan-2-yl]-5-methyl- AIDS-215880 AIDS215880