1H,3H-Thiazolo[3,4-a]benzimidazoles and pharmaceutical compositions containing them