Used crank holding tool (Baum Tools, < $100) and 1/2" drive 17 mm Allen head, both equipped with breaker bars... bolt moved immediately. Renewal of pulley took less than 15 minutes.