Cycloaddition of carbon dioxide to propylene oxide catalyzed by ionic liquids | Synapse