how was cialis discovered