β-Propiolactone. XIV.1 β-Isovalerolactone