Abstract: Compounds of Formula I are disclosed: (I), wherein XA, k, R1, R2, R3, R4, R5, R5A, R6, R6A, R7 and R8 are defined herein. The compounds encompassed by Formula I include compounds which are HIV protease inhibitors and other compounds which can be metabolized in vivo to HIV protease inhibitors. The compounds and their pharmaceutically acceptable salts are useful for the prophylaxis or treatment of infection by HIV and the prophylaxis, treatment, or delay in the onset of AIDS. The compounds and their salts can be employed as ingredients in pharmaceutical compositions, optionally in combination with other antivirals, immunomodulators, antibiotics or vaccines.