The antibiotic edeine. XII. Isolation and structure of edeine F.