Formal synthesis of clavicipitic acid based on biosynthetic proposal