6.3.4.3 formate-tetrahydrofolate ligase Acetobacterium carbinolicum