What record company has robert craft conducting?
CREATE TABLE "complete_ballet" (
  "orchestra" text,
  "conductor" text,
  "record_company" text,
  "year_of_recording" real,
  "format" text
);
SELECT "record_company" FROM "complete_ballet" WHERE "conductor"='robert craft';