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].Se proporciona un derivado sustituido de espiropirido[1,2-a]pirazi na o una sal farmacéuticamente aceptable del mismo, que es útil como un agente anti-VIH； la presente invención se refiere a un compuesto representado por la siguiente fórmula [I] o [II] o una sal farmacéuticamente aceptable del mismo: (ver Fórmulas) en donde cada símbolo es como se define en la memoria descriptiva.
