The disclosure generally relates to compounds of formula I, including compositions and methods for treating human immunodeficiency virus (HIV) infection. The disclosure provides novel inhibitors of HIV, pharmaceutical compositions containing such compounds, and methods for using these compounds in the treatment of HIV infection.Linvention concerne en général des composés de formule I, notamment des compositions et des méthodes de traitement de linfection à virus de limmunodéficience humaine (VIH). Linvention concerne de nouveaux inhibiteurs du VIH, des compositions pharmaceutiques les contenant, ainsi que des méthodes dutilisation de ces composés dans le traitement de linfection à VIH.