The present invention provides compounds of formula (I)
1
wherein R
1
, R
2
, R
3
, R
4
and X are as defined in the specification, 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.