Compounds of formula I: wherein a, R1, R2, R3, R4, R5 and R6 are defined herein, are useful as inhibitors of HIV replication.La présente invention concerne des composés de formule I dans laquelle a, R1, R2, R3, R4, R5 et R6 sont tels que définis dans la description utiles en tant qu'inhibiteurs de la réplication du VIH.