Compounds of Formula (I) are disclosed; wherein XA, k, A, B, R3A, R3B, R4 and R5 are defined herein. The compounds of Formula (I) are 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.