Musician Mikey Chung dies at 71