Activity-stability trade-off in random mutant proteins.