The Conjugate Addition of Ethyl Malonate to 3,5-Cholestadien-7-one