proton-conducting oxide