4-Hydroxy-5-hydroxymethyl-2-(5-methyl-2,4-dioxo-3,4-dihydro-2H-pyrimidin-1-yl)-tetrahydro-thiophene-2-carbonitrile AIDS-219727 AIDS219727