β-propiolactone