Formal total synthesis of (+)-gephyrotoxin.

An efficient formal total synthesis of (+)-gephyrotoxin is described. The key step of our strategy relies on the diastereoselective reduction of a chiral pyrrolidine beta-enamino ester obtained by condensation of ( S)-phenylglycinol on a protected 8-hydroxy-3,6-dioxooctanoate.