Are George Avakian and Bobby Managoff both record producers?