Treatment of HIV infection, or preventing an HIV infection, or the present invention provides compounds useful for the treatment of ARC or AIDS. (Wherein, A is A4 or A1, A2, A3 the formula I, the compounds of the invention, R 1, R 2, R 3, R 4a, R 4b, R 5, R 6, Ar, X 1 , X 5 and 3, X 4 X 2, X is represented by) are as defined herein. Methods of treating a compound as defined herein HIV infection, and those disclosed in the present invention also is a pharmaceutical composition comprising said compound.本発明は、HIV感染の治療、又はHIV感染の予防、又はAIDSもしくはARCの治療に有用な化合物を提供する。本発明の化合物は、式I(式中、Aは、A1、A2、A3又はA4であり、R1、R2、R3、R4a、R4b、R5、R6、Ar、X1、X2、X3、X4及びX5は、本明細書に定義されたとおりである)で示される。同じく本発明に開示されたものは、HIV感染を本明細書に定義された化合物で処置する方法、及び前記化合物を含む医薬組成物である。