Proton sandwiches: nonclassical carbocations with tetracoordinate protons.