The present invention relates to HIV integrase inhibitors of the formula
##STR1##
wherein R.sup.1 and Z are as defined in the specification.
Присытствыющий вымысел относит к иам АБС битор integrase hiv ## ## STR1 формулы при котором R.sup.1 и з как определено в спецификации.