如图，在平面直角坐标系中，点A在x轴上，△ABO是直角三角形，∠ABO=90°，点B的坐标为（﹣1，2），将△ABO绕原点O顺时针旋转90°得到△A₁B₁O，则过A₁，B两点的直线解析式为　     　．