Novel cis-epoxide compounds of formula (I) are useful for treating or preventing diseases caused by HIV infection: ##STR1## wherein A, B, R.sub.1 to R.sub.4 and n have the same meanings as defined in the specification. The novel HIV protease inhibitor of the formula (I) has a specific structure to form a stable bonding with the enzyme active site, which entails a highly enhanced irreversible inhibition against HIV protease.
化合物的新颖顺式
环氧化物化合物(I)可用于治疗或预防由HIV感染引起的疾病:其中A、B、R.sub.1至R.sub.4和n的含义与规范中定义的含义相同。公式(I)的新型HIV蛋白酶抑制剂具有特定结构,可与酶活性位点形成稳定结合,从而对HIV
蛋白酶产生高度增强的不可逆抑制作用。