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.
Un compuesto del fórmula: ## del ## STR1 en donde R.sup.1 es hidrógeno, un alkyl más bajo, o arylsulfonyl opcionalmente substituido, o similares, R.sup.2 es hidrógeno, un alkyl más bajo, o aralkyl opcionalmente substituido, o los similares, R.sup.3, R.sup.4, R.sup.5, y R.sup.6 cada uno es independientemente hidrógeno, halógeno, trihalogenated un alkyl más bajo, o similares, X es amino hydroxy u opcionalmente substituido, Y es COOR (R es hidrógeno o un residuo del éster), aryl opcionalmente substituido, o heteroaryl opcionalmente substituido, tiene actividad de la inhibición del integrase, y es útiles como droga contra-VIH.
