Explain the challenges of applying Bayesian optimization to high-dimensional protein sequence spaces for antibody design at BigHat Biosciences.