GCA_000009705.1 alr4566 definition NADH-dependent butanol dehydrogenase