3.1.3.71 Clostridium acetobutylicum 3.1.3.71 Methanocaldococcus jannaschii 3.1.3.71 Methanosarcina thermophila