The present invention relates a series of compounds of Formula I
##STR1##
wherein R1, R2, R3, and B are as defined
in the specification. The compounds are useful for the inhibition of HIV integrase
and for the treatment of AIDS or ARC by administering compounds of the formula.