过点A(0,3)的一次函数的图像与正比例函数y=2x的图像相交于点B,点B的横坐标为1,求直线AB的解析式.