以环己酮为原料合成环庚酮