Compounds of Formula I: I and their pharmaceutically acceptable salts are useful for the inhibition of HIV reverse transcriptase. The compounds may also be useful for the prophylaxis or treatment of infection by HIV and in the prophylaxis, delay in the onset or progression, and treatment of AIDS. The compounds and their salts can be employed as ingredients in pharmaceutical compositions, optionally in combination with other antiviral agents, immunomodulators, antibiotics or vaccines.