The present invention relates to a compound represented by the following formula [I]wherein each symbol is as defined in the specification, or a pharmaceutically acceptable salt thereof, or a solvate thereof, and a pharmaceutical composition, an anti-HIV agent and an HIV
integrase inhibitor containing such compound. The compound of the present invention has an HIV
integrase inhibitory activity, and is useful as an anti-HIV agent, or as an agent for the prophylaxis or treatment of AIDS. In addition, by the
combined use with other anti-HIV agents such as a
protease inhibitor, a
reverse transcriptase inhibitor and the like, it can be a more effective anti-HIV agent. Because it shows
integrase-specific high inhibitory activity, the compound can be a pharmaceutical agent safe on
human body, which causes only a fewer side effects.