80年代に大赤斑の縮小傾向は既に観測されてたっけ?