A compound of formula I (including pharmaceutically acceptable salts), a pharmaceutical composition comprising the compound, a process for preparing the compound, and its use in the inhibition of HIV integrase and treatment of those infected with HIV or AIDS. Disclosed. [Chemical 1] [Selection figure] None式Iの化合物(薬学的に許容される塩を含む)、該化合物を含む医薬組成物、該化合物を製造する方法、並びにHIVインテグラーゼの阻害及びHIV又はAIDSに感染したものの治療におけるその使用が開示される。【化1】【選択図】なし