Substituted spiropyrido[1,2-a]pyrazine derivative and medicinal use thereof as HIV integrase inhibitor

摘要

Provided is a substituted spiropyrido[1,2-a]pyrazine derivative or a pharmaceutically acceptable salt thereof which are useful as an anti-HIV agent. The invention relates to a compound represented by general formula [I] or [II] or a pharmaceutically acceptable salt thereof [in the formulae, the symbols have the same meanings as in the description].