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.