A theoretical study of the reactivity of carbon monoxide with cyclobutadiene