A recursive normalizing one-step reduction strategy for the distributive lambda calculus