Total synthesis of the cholesterol biosynthesis inhibitor 1233A via a (π-allyl)tricarbonyliron lactone complex