The metabolism of stigmasterol and cholesterol by Paramecium aurelia