Jens Aage Doctor (1931-1997)