propiolactone