《窗边的小豆豆》中小豆豆的真正名字是（）。