Algal Carotenoids. II. The Fucoxanthols --- Reduction Products of Fucoxanthin.