Lens aberration compensation in interference microscopy. (May 2020)