ENDOR detection of proton configuration at an HAsO3− radical in antiferroelectric ADA