Basic K nuclear cluster, K- pp, and its enhanced formation in the p + p → K+ + X reaction