who was john forbes nash jr son?