New tetrahydroimidazo[4,5,1-jk][1,4]-benzodiazepin-2(1H)-one and -thione derivatives are potent inhibitors of human immunodeficiency virus type 1 replication and are synergistic with 2',3'-dideoxynucleoside analogs