Top seed Isner books semi-final with defending champ Sock