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.