Metal-mediate reactions based formal synthesis of triptonide and triptolide