5β-Hydroxy-ecdysones and a revision of the structure of ponasterone C