Spanish study finds mixing Pfizer, AstraZeneca jabs effective