Compound of formula I: ##STR1## wherein the R groups are as defined by the specification. The compounds are useful in the inhibition of HIV integrase, the treatment of infection of HIV and treatment of AIDS.

Mittel von Formel I: ## STR1 ## worin die R Gruppen sind, wie durch die Spezifikation definiert. Die Mittel sind in der Hemmung von HIV integrase, in der Behandlung der Infektion von HIV und in der Behandlung von AIDS nützlich.