John Diamond — Australian doctor (1934-2021)