On the value of a logarithmic-trigonometric integral