The present invention relates to compounds useful for the treatment of HIV infection, the prevention of HIV infection, or the treatment of AIDS or ARC. The compounds of the present invention are compounds of formula (I) The invention also relates to a method of treating an HIV infection using a compound as defined herein, and a pharmaceutical composition comprising such a compound,Formula IIn this formula,R 1 , R 2 , R 3 , R 4 , R 5a , R 5b , R 6a , R 6b and X are as defined herein.본 발명은 HIV 감염의 치료, HIV 감염의 예방, 또는 AIDS 또는 ARC의 치료에 유용한 화합물에 관한 것이다. 본 발명의 화합물은 하기 화학식 I의 화합물이다. 본 발명은 또한 본원에 정의된 화합물, 및 이러한 화합물을 함유하는 약학 조성물을 사용하는 HIV 감염의 치료 방법에 관한 것이다:화학식 I상기 식에서,R1, R2, R3, R4, R5a, R5b, R6a, R6b 및 X는 본원에 정의된 바와 같다.
