  Equivariance under the action of Uq(so(5)) is used to compute the left
regular and (chiral) spinorial representations of the algebra of the orthogonal
quantum 4-sphere S^4_q. These representations are the constituents of a
spectral triple on this sphere with a Dirac operator which is isospectral to
the canonical one on the round undeformed four-sphere and which gives metric
dimension four for the noncommutative geometry. Non-triviality of the geometry
is proved by pairing the associated Fredholm module with an `instanton'
projection. We also introduce a real structure which satisfies all required
properties modulo smoothing operators.
