Thermococcus litoralis sp. nov.: a novel species of extremely thermophilic marine archaebacteria