Compounds of Formula I are inhibitors of HIV integrase and inhibitors of
HIV replication: ##STR00001## wherein Z, R.sup.1, R.sup.2, R.sup.3,
R.sup.4, R.sup.5, R.sup.6, R.sup.7, R.sup.8 and R.sup.9 are defined
herein. The compounds are useful in the prevention and treatment of
infection by HIV and in the prevention, delay in the onset, and treatment
of AIDS. The compounds are employed against HIV infection and AIDS as
compounds per se or in the form of pharmaceutically acceptable salts. The
compounds and their salts can be employed as ingredients in
pharmaceutical compositions, optionally in combination with other
antivirals, immunomodulators, antibiotics or vaccines.
