Patrick Leahy — Irish doctor and social campaigner (1917-1998)