The present invention relates to compounds of formula (I) ##STR00001## wherein R.sup.1 is 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.