由丙二酸二乙酯和丙烯合成环丁酸