Model compounds in elucidating the structural basis of HIV retrovirus activity. Synthesis of trisodium O-monoalkyl- and O-monoaryldiphosphates.