Quantum dynamics of atomic coherence in a spin-1 condensate: Mean-field versus many-body simulation