Gravar-mail: High-resolution cryo-EM structure of the proteasome in complex with ADP-AlFx