MicroED structure of proteinase K with energy filtering