The present invention relates to compounds of formula (I) wherein R1, R2, R3, R4, m, n, p and s 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 that are associated with the activation of the glycogen synthase enzyme, such as diabetes.