The present invention relates to compounds of formula (I) ##STR00001## wherein R.sup.1, R.sup.2, and X are as defined in the description and claims, and pharmaceutically acceptable salts thereof. The compounds are useful for the treatment and/or prophylaxis of diseases which are associated with DPP IV, such as diabetes, particularly non-insulin dependent diabetes mellitus, and impaired glucose tolerance.