A Trace Formula for One-Dimensional Dirac Operators