Failure of Existential Double-Negation Elimination in Intuitionistic Predicate Logic