通过竞争性抑制HIV-1蛋白酶的活性，导致蛋白前体不能裂解，抑制病毒体成熟的抗病毒药物是（）