Compounds of formula (I) (including pharmaceutically acceptable salts), pharmaceutical compositions containing these compounds, methods for preparing these compounds, and inhibition of HIV integrase and humans infected with HIV or AIDS Disclose their use in treatment. [Selection figure] None式(I)の化合物(薬学的に許容される塩を含む)、それらの化合物を含む医薬組成物、それらの化合物を製造する方法、並びにHIVインテグラーゼの阻害及びHIV又はAIDSに感染したヒトの処置におけるそれらの使用を開示する。【選択図】なし