Mirko Javornik, kot interes Službe državne varnosti Socialistične Republike Slovenije