harold lederman