The following formula (I): [Formula 1](Wherein, R 1, R 2, A 1, A 2, A 3, A 4, X and Y are defined as in the specification) compounds of are useful as inhibitors of HIV replication. .BACKGROUND下記式(I):【化1】(式中、R1、R2、A1、A2、A3、A4、X及びYは、明細書の定義どおり)の化合物は、HIV複製の阻害薬として有用である。【選択図】なし