Proton-exchange membranes