Synthesis of 5′-Triphosphate Mimics (P3Ms) of 3′-Azido-3′,5′-Dideoxythymidine and 3′,5′-Dideoxy-5′-Difluoromethylenethymidine as HIV-1 Reverse Transcriptase Inhibitors