Stereochemical effects in cyclopropane ring openings: synthesis and isomerization of petrosterol and all three of its trans cyclopropane diastereomers