已知一次函数图像经过A(0,-3),B(1,a),C(a,1)三个点,且函数值y随x的增大而减小,求此一次函数解析式