Qual substância está envolvida na detumescência do pênis?