Formula (I) wherein, as defined herein X A, k, A, B, R 3A, R 3B, R 4 and R 5] a compound represented by is disclosed. Compounds of formula (I) are inhibitors of HIV protease. Are useful for preventing or treating infection by HIV, and, pharmaceutically acceptable salts thereof The compounds are useful for preventing or treating AIDS or delaying its onset. In combination with antiviral agents vaccines another, immunomodulators, antibiotics or optionally salts thereof, can be used as an ingredient in a pharmaceutical composition and the compound.式(I)〔式中、XA、k、A、B、R3A、R3B、R4及びR5は本明細書中で定義されている〕で表される化合物が開示されている。式(I)で表される化合物は、HIVプロテアーゼの阻害薬である。該化合物及びそれらの製薬上許容される塩は、HIVによる感染を予防又は治療するのに有用であり、及び、AIDSを予防若しくは治療するのに又はその発症を遅延させるのに有用である。該化合物及びそれらの塩は、場合により別の抗ウイルス薬、免疫調節薬、抗生物質又はワクチンと組み合わせて、医薬組成物中の成分として使用することができる。