IRREDUCIBLE SYMPLECTIC 4-FOLDS NUMERICALLY EQUIVALENT TO (K3)[2]