John Patrick Werge Varian — (born 1942)