Synthesis and substrate properties towards HIV-1 reverse transcriptase of new diphosphate analogues of 9-[(2-phosphonomethoxy)ethyl]adenine