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 for the treatment or prophylaxis of hepatitis B virus infection.