Mike Murphy, longtime SF Giants clubhouse manager, inducted into Wall of Fame