Structure of the proton conductor, cubic HSbO3·xH2O