Synthesis and HIV activity of phosphonate isosteres of D4T monophosphate