On the Hook Length Formula for Binary Trees