Trans alkenes by stereoselective reduction of α-Ph2PO ketones: E-isosaffrole, E-anethole, and peniculin