Gravar-mail: Encoded combinatorial chemistry: Synthesis and screening of a library of highly functionalized pyrrolidines