Hyung-suk Kim, 김형석, 金亨锡