Ophiocerins A-D and ophioceric acid: tetrahydropyran derivatives and an africane sesquiterpenoid from the freshwater aquatic fungus Ophioceras venezuelense.