New aminosterols from the dogfish shark.