The present invention relates to compounds of formula (I),wherein R1 to R4 are as described herein, and their prodrugs or pharmaceutically acceptable salt, enantiomer or diastereomer thereof, and compositions including the compounds and methods of using the compounds.