The hydrogen bond in crystals. VIII. The isotope effect in KH2AsO4