Lucas, Robert A., 1922-