Synthesis of nucleosidyl rifamycins as inhibitors of human immunodeficiency virus type 1.