Michael King: prolific researcher and one of the first doctors to “come out”