Hydroxy-substituted pyridopyrrolopyrazine dione compounds are inhibitors
of HIV integrase and inhibitors of HIV replication. In one embodiment,
the dione compounds are of Formula (I): (I) wherein a, b, A, B, R.sup.1,
R.sup.2, R.sup.3, R.sup.4, R.sup.5, R.sup.6, R.sup.7 and R.sup.8 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. ##STR00001##