Strategic use of retro Diels-Alder reaction in the construction of β-carboxy-α-methylene-γ-lactones. Total synthesis of methylenolactocin and protolichesterinic acid