A new chiral auxiliary in enantioselective hydrogenations: (−)-dihydrovinpocetine. Part I. Hydrogenation of isophorone