Secondary metabolites by chemical screening. 20. Decarestrictines, a new family of inhibitors of cholesterol biosynthesis from Penicillium: III. Decarestrictines E to M.