A compound of the formula: ##STR1## wherein R.sup.1 is hydrogen, lower alkyl, or optionally substituted arylsulfonyl, or the like, R.sup.2 is hydrogen, lower alkyl, or optionally substituted aralkyl, 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.

Μια ένωση του τύπου: ## STR1 ## όπου το R.sup.1 είναι υδρογόνο, χαμηλότερο αλκύλιο, ή προαιρετικά αντικατασταθέν arylsulfonyl, ή όμοιοι, R.sup.2 είναι υδρογόνο, χαμηλότερο αλκύλιο, ή προαιρετικά αντικατασταθέν aralkyl, ή όμοιοι, R.sup.3, R.sup.4, R.sup.5, και R.sup.6 που κάθε ένα είναι ανεξάρτητα υδρογόνο, αλόγονο, το χαμηλότερο αλκύλιο, ή οι όμοιοι, το Χ είναι υδροξύ ή προαιρετικά αντικατασταθείς αμινο, Υ είναι COOR (το ρ είναι υδρογόνο ή ένα υπόλειμμα εστέρα), προαιρετικά αντικατασταθέν aryl, ή προαιρετικά αντικατασταθέν heteroaryl, αναπτύσσει τη δραστηριότητα παρεμπόδισης integrase, και είναι χρήσιμος ως φάρμακο αντι-HIV.