AIDS-017590 AIDS017590 delta-4-Cholesten-3-one