The present invention relates to the inhibition of HIV integrase, and to the treatment of AIDS or ARC by administering compounds of the following formula, or a tautomer of said compound, or a pharmaceutically acceptable salt, solvate or prodrug thereof:
1
wherein R
1
, R
2
and B
1
are as defined herein.
The present invention relates to the inhibition of HIV integrase, and to the treatment of AIDS or ARC by administering compounds of the following formula, or a tautomer of said compound, or a pharmaceutically acceptable salt, solvate or prodrug thereof:
wherein R1, R2 and B1 are as defined herein.