A compound of the formula: ##STR1## wherein R.sub.1 is hydrogen, lower alkyl, or optionally substituted arylsulfonyl, or the like, R.sup.2 is hydrogen, lower alkyl, or optionally substituted aralklyl, or the like, R.sup.3, R.sup.4, R.sup.5, and R.sup.6 each is independently hydrogen, halogen, trihalogenated lower alkyl, or the like, X is hydroxy or optionally substituted amino, Y is COOR R is hydrogen or an ester residue), optionally substituted aryl, or optionally substituted heteroaryl, has integrase inhibition activity, and is useful as an anti-HIV drug.

Un residuo della formula: ## del ## STR1 in cui R.sub.1 è idrogeno, alchile più basso, o arylsulfonyl facoltativamente sostituito, e simili, R.sup.2 è idrogeno, alchile più basso, o aralklyl facoltativamente sostituito, e simili, R.sup.3, R.sup.4, R.sup.5 e R.sup.6 ciascuno è indipendentemente idrogeno, alogeno, trihalogenated l'alchile più basso, e simili, X è amminico idrossilato o facoltativamente sostituito, Y è COOR R è idrogeno o un residuo dell'estere), arile facoltativamente sostituito, o heteroaryl facoltativamente sostituito, ha attività di inibizione di integrase ed è utili come droga anti-Anti-HIV.