环戊酮合成螺环化合物