ATP-toernooi van Washington 1972