Propylenidene: A two-dimensional carbon allotrope as a high-capacity anode for potassium-ion batteries | Synapse