Anti-HIV pronucleotides: decomposition pathways and correlation with biological activities.