1-Phenyl-substituted 1H,3H-thiazolo[3,4-a]benzimidazoles and pharmaceutical compositions containing them