1,2-dimethyl-octahydro-quinolin-4-one
ethylmagnesium bromide
(+/-)-4t-ethynyl-1,2c-dimethyl-(4ar,8at)-decahydro-quinolin-4c-ol
(+/-)-4c-ethynyl-1,2t-dimethyl-(4ar,8at)-decahydro-quinolin-4t-ol
(+/-)-4c-ethynyl-1,2c-dimethyl-(4ar,8at)-decahydro-quinolin-4t-ol