GCA_000018585.1 P9211_16101 definition Histidinol dehydrogenase