The invention provides compounds of the formula (I), in which the substituents and symbols are as defined in the description. The compounds inhibit the secretion of gastric acid. ##STR00001##