Subdifferential Formula for the Support Function of a Compact Convex Set