Computational maturation of a single-domain antibody against Aβ42 aggregation