The compounds of formula I, including the pharmaceutically acceptable salts thereof, and compositions and methods for treating human immunodeficiency virus (HIV) infection are described: (I). [Chemical 1]式Iの化合物であって、その薬学的に許容される塩を含む前記化合物、並びにヒト免疫不全ウイルス(HIV)感染を処置するための組成物及び方法が記載されている:(I)。【化1】