What is the name of the protein channel where H⁺ ions escape into the matrix of the mitochondrion?