Potassium cyclooctatetraenide