2-Cyclohexylidenevinylphosphonic acid AIDS-144361 AIDS144361 NSC666671