brócoli salteado con ajo y pimentón