Choline dehydrogenase