The invention provides novel compounds having the general formula: wherein R1, R2, R3 and R4 are as defined in the description and in the claims, as well as or pharmaceutically acceptable salts, or tautomerism isomers, or enantiomers, or diastereomers thereof. The invention also contains compositions including the compounds and methods of using the compounds.