Facile synthesis of the NNRTI microbicide MC-1220 and synthesis of its phosphoramidate prodrugs