Translating IΔ0 + exp Proofs into Weaker Systems