One-dimensional finite amplitude wave propagation in a compressible elastic half-space