2(1H)-Pyrimidinone, 1-[(4aR,7S,7aS)-tetrahydro-2,7-dihydroxy-2-oxido-4H-furo[3,2-d]-1,3,2-dioxaphosphorin-6-yl]-3,4-dihydro-4-thioxo- AIDS-211701 AIDS211701