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.
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.