Hoppe's lubricating gun oil