NADP+-specific isocitrate dehydrogenase of Escherichia coli