초고온성 고세균 Thermococcus onnurineus NA1의 개미산 대사 및 수소생산 연구 = Mechanistic studies on formate-dependent hydrogen production in the hyperthermophilic archaeon Thermococcus onnurineus NA1