The present invention relates to compounds of formula (1) wherein R1, R2 , R3 , R4 , m, n, p and s are as defined in the description and claims, and pharmaceutically acceptable salts thereof and to pharmaceutical compositions thereof. The compounds are useful for the treatment and/or prophylaxis of diseases that are associated with the activation of the glycogen synthase enzyme, such as diabetes.