18-ethynyldeoxycorticosterone