Various embodiments relate to a compound of the formula (I): wherein X, X1, R1-R4 and R7 are defined herein, as well as pharmaceutical compositions comprising compounds of the formula (I) and methods of treating an HIV infection comprising administering a therapeutically effective amount of one or more compounds of formula (I), or a pharmaceutical compositions comprising compounds of the formula (I), to a patient in need thereof.L'invention concerne, selon divers modes de réalisation, un composé de formule (I) : dans lequel X, X1, R1 à R4 et R7 sont tels que définis dans la description, ainsi que des compositions pharmaceutiques comprenant des composés de formule (I) et des méthodes de traitement d'une infection par le VIH comprenant l'administration d'une quantité thérapeutiquement efficace d'un ou de plusieurs composés de formule (I), ou d'une composition pharmaceutique comprenant des composés de formule (I), à un patient en ayant besoin.
