Translate the following question to SQL: Show the name of buildings that do not have any institution.

Schema: CREATE TABLE building (
    building_id TEXT   PRIMARY KEY,
    Name TEXT,
    Street_address TEXT,
    Years_as_tallest TEXT,
    Height_feet INT,
    Floors INT,
    UNIQUE (building_id)
);

CREATE TABLE Institution (
    Institution_id TEXT   PRIMARY KEY,
    Institution TEXT,
    Location TEXT,
    Founded REAL,
    Type TEXT,
    Enrollment INT,
    Team TEXT,
    Primary_Conference TEXT,
    building_id TEXT,
    UNIQUE (Institution_id),
    FOREIGN KEY (building_id) REFERENCES building(building_id)
);

CREATE TABLE protein (
    common_name TEXT   PRIMARY KEY,
    protein_name TEXT,
    divergence_from_human_lineage REAL,
    accession_number TEXT,
    sequence_length REAL,
    sequence_identity_to_human_protein TEXT,
    Institution_id TEXT,
    UNIQUE (common_name),
    FOREIGN KEY (Institution_id) REFERENCES Institution(Institution_id)
);
user
SELECT name FROM building WHERE building_id NOT IN (SELECT building_id FROM institution)
assistant