6',7'-Dichloro-1,2-dideoxy-2',3'-dihydro-.beta.-D-arabinofuranoso-[2,1-b](thiazolo[2,3-a]benzimidazole) AIDS-087772 AIDS087772 DRB analog