2,4(1H,3H)-Pyrimidinedione, 1-(2-deoxy-beta-D-erythro-pentofuranosyl)-5-[(1E)-1-propenyl]- AIDS-212124 AIDS212124