Proteolysis of Xenopus laevis egg envelope ZPA triggers envelope hardening.