Log-biharmonicity and a Jensen formula in the space of quaternions