One-Clock Priced Timed Games with Negative Weights (Logical Methods in Computer Science, 2022)