Finite group theory, Michael Aschbacher