formate-tetrahydrofolate ligase