Focused Depth-first Proof Number Search using Convolutional Neural Networks for the Game of Hex.