The present invention relates to the substitution quinolizine derivatives of formula (I): and its officinal salt or prodrug, wherein X, Y, R1, R2, R3, R4, R5, R9 and R10 are as defined herein. The invention further relates to the methods for the HIV infection that individual is treated or prevented comprising at least one composition for replacing quinolizine derivatives and using the substitution quinolizine derivatives.本發明涉及式(I)的取代喹嗪衍生物:及其可藥用鹽或前藥,其中X、Y、R1、R2、R3、R4、R5、R9和R10如本文中定義。本發明還涉及包含至少一種取代喹嗪衍生物的組合物和使用該取代喹嗪衍生物治療或預防個體的HIV感染的方法。