(1S,3R,4S)-3,4-dihydroxycyclohexane-1-carboxylate:NAD 3-oxidoreductase