CP non-invariance and the KS → μ+μ− decay rate