goffredo petrassi