Stereoselective synthesis of petrosterol and a formal synthesis of aragusterols