Sontag Universal Formula for Single-Input Control Lyapunov Functions