Hyperon-nucleon final-state interaction in a pp→K+X experiment and the H 1 + (2130)S=−1 strange dibaryon