Provided is a novel 1,3,4,8-tetrahydro-2H-pyrido[1,2-a]pyrazine derivative or a pharmaceutically acceptable salt thereof, or a solvate thereof, which is useful as an anti-HIV agent. The present invention provides 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.본 발명은, 항 HIV제로서 유용한 신규 1,3,4,8-테트라히드로-2H-피리도[1,2-a]피라진 유도체 또는 그의 의약상 허용되는 염 또는 그의 용매화물을 제공한다. 하기 화학식 [I]로 표시되는 화합물 또는 그의 의약상 허용되는 염 또는 그의 용매화물에 관한 것이다.[식에서, 각 기호는 명세서에서와 동의이다].
