Fallece Bobby Martin, el productor de las estrellas