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