Compounds of formula (I): wherein R1, R2, A1, A2, A3, A4, X and Y are as defined herein, are useful as inhibitors of HIV replication.La présente invention concerne des composés de formule (I) : dans laquelle R1, R2, A1, A2, A3, A4, X et Y sont tels que définis ici, qui sont utiles comme inhibiteurs de la réplication du VIH.