Pharmacology of current and promising nucleosides for the treatment of human immunodeficiency viruses