Semiconvective mixing in low-mass stars