Improving the quality of protein crystals through purification by isoelectric focusing