Synthesis of Efavirenz (Synfacts, 2011)