刘禹锡的《石头城》中,“夜深还过女墙来”的前一句是什么