17α-ethynyltestosterone