A spherical HKR theorem