The present invention treatment of HIV infection, or preventing an HIV infection, or provide a useful compound in the treatment of AIDS or ARC. The compounds of the present invention has the general formula I:Wherein in formula I,A is the formula A1, the formula A2, the formula A3 or the above formula A4, R 1, R 2, R 3, R 4a, R 4b, R 5, R 6, Ar, X 1, X 2, X 4 , X 4 and X 5 are as defined herein.In addition, the present invention method for treating HIV infection with compounds defined herein, and a pharmaceutical composition containing said compounds are disclosed.본 발명은 HIV 감염을 치료하거나, HIV 감염을 예방하거나, AIDS 또는 ARC를 치료하는데 유용한 화합물을 제공한다. 본 발명의 화합물은 하기 화학식 I을 갖는다:상기 화학식 I에서,A는 상기 식 A1, 상기 식 A2, 상기 식 A3 또는 상기 식 A4이고, R1, R2, R3, R4a, R4b, R5, R6, Ar, X1, X2, X4, X4 및 X5는 본원에 정의된 바와 같다.또한, 본 발명에는 본원에 정의된 화합물로 HIV 감염을 치료하는 방법, 및 상기 화합물을 함유하는 약학 조성물이 개시되어 있다.