Synthesis of Atorvastatin Lactone (Synfacts, 2011)