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.