Strategic Deontic Temporal Logic as a Reduction to ATL, with an Application to Chisholm's Scenario