On non-formality of a simply-connected symplectic 8-manifold