autoprotonizations