Electroorganic chemistry. 118. Electroreductive intermolecular coupling of ketones with olefins