DJ Alfredo, a pioneer of "Balearic Beats", has died