Choosing a test for the median — nonparametric, small sample

A manufacturer claims that the median lifetime of its product is more than 500 hours. To verify the claim based on 20 randomly observed lifetimes, which of the following tests is most appropriate?