Electrochemical collective synthesis of labeled pyrroloindoline alkaloids with Freon-type methanes as functional C1 synthons.