Machine converted from non-AACR2, ISBD-encoded source