A compound of formula I ##STR1## and pharmaceutically acceptable derivatives thereof Cx, R.sub.1 and R.sub.2 being as defined in the disclosure may be used to inhibit the activity of HIV integrase.

Un residuo del ## del ## STR1 di formula I e farmaceuticamente dei derivati accettabili di ciò Cx, R.sub.1 e R.sub.2 che sono stato come definito nella rilevazione può essere usato per inibire l'attività del integrase del HIV.