butyraldehyde in electrochemistry