GCA_000018585.1 P9211_17171 definition Isocitrate dehydrogenase