环己烯酮合成环己烯醇