PROBLEM TO BE SOLVED: To provide novel compounds having inhibitory activity against integrase enzyme in HIV replication.SOLUTION: This invention provides compounds represented by the following formula. In the formula, Ris aryl or Het, wherein Het is a 4- to 7-membered saturated, unsaturated or aromatic heterocycle having 1 to 4 heteroatoms each independently selected from O, N and S, or a 7- to 14-membered saturated, unsaturated or aromatic heteropolycycle having wherever possible 1 to 5 heteroatoms, each independently selected from O, N and S； and Rand Rare each independently selected from H, halo, (C1-6)alkyl and (C1-6)haloalkyl.【課題】ＨＩＶ複製におけるインテグラーゼ酵素に対する阻害活性を有する新規化合物を提供する。【解決手段】次式（式中、Ｒ4は、アリール基またはＨｅｔ基を表し、ここでＨｅｔ基は、Ｏ、ＮおよびＳからそれぞれ独立に選択される１～４個のヘテロ原子を有する４～７員の飽和、不飽和または芳香族の複素環、あるいはＯ、ＮおよびＳからそれぞれ独立に選択される可能なら１～５個のヘテロ原子を有する７～１４員の飽和、不飽和または芳香族の複素多環であり、Ｒ6およびＲ7は、それぞれ独立に、Ｈ、ハロ、（Ｃ1-6）アルキルおよび（Ｃ1-6）ハロアルキルから選択される）で表される化合物。【選択図】なし
