Reactive interdiffusion of an Al film and a CoCrFeNi high-entropy alloy